Spatial Relations Using High Level Concepts
نویسندگان
چکیده
منابع مشابه
Spatial Relations Using High Level Concepts
Existing models of spatial relations do not consider that different concepts exist on different levels in a hierarchy and in turn that the spatial relations in a given scene are a function of the specific concepts considered. One approach to determining the existence of a particular spatial relation is to compute the corresponding high level concepts explicitly using map generalization before i...
متن کاملHigh level test bench generation using software engineering concepts
The tool to be presented in the panel deals with validation of VHDL descriptions at the early phase of the design of a digital system. Our approach consists in generating test data from a given VHDL behavioral description. The validation is achieved by comparing the results obtained using the simulation of the VHDL description within the test data and the results which should have been obtained...
متن کاملSystem Speci cation and Veri cation Using High Level Concepts
This paper describes a sample modelling and veri cation session using SDL and SPIN modelchecker via the PEP tool. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL speci cation. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.
متن کاملOptimizing Partitioning of Transition Relations by Using High-Level Information
The computation of the reachable state set is a core task of optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based on OBDDs use a partitioned representation of the transition relation to keep the OBDD-sizes manageable. This paper presents a new approach that significantly increases the quality of the partitioning of the tran...
متن کاملUsing Granularity Concepts for Discovering Causal Relations
Historically, causal markers, syntactic structures and connectives have been the sole identifying features for automatically extracting causal relations in natural language discourse. However various connectives such as “and”, prepositions such as “as” and other syntactic structures are highly ambiguous in nature, and it is clear that one cannot solely rely on lexico-syntactic markers for detec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ISPRS International Journal of Geo-Information
سال: 2012
ISSN: 2220-9964
DOI: 10.3390/ijgi1030333